/*
 * setupPCB.h
 *
 *  Created on: Sep 21, 2013
 *      Author: Alex Bouvy
 */

#ifndef ALLOCPCB_H_
#define ALLOCPCB_H_

struct MPX_PCB* allocPCB();

#endif /* ALLOCPCB_H_ */
